In this paper we introduce a framework to tackle toxicogenomics problems: i.e., how to control the toxic risk while manipulating genes structures.
It is a first step towards a more systematic study on how safety properties can be guaranteed by newly biosynthesized components. This way, not only we could provide new structures that  answer to  specific needs but also they could be safely used requiring less time consuming and costly testing to rule out undesired effects.
\todo{Complete with summary of contributions}